COURSE INFO
VECTOR[3-0-0:3]
PREVIOUS CODEMICS 6000A
DESCRIPTIONThe course will discuss the application of automated reasoning techniques in the verification of software and hardware components in electronic systems. This course will cover basic knowledge of logic, satisfiability solvers, model checking and their applications. This course also includes topics on circuit testing, for example, automatic test pattern generation and design for testing.

MICS 5510 - Formal Methods and Testing for Electronic System Verification (3 units)

SectionDate & TimeRoomInstructorQuotaEnrolAvailWaitRemarks
L01 (6051) We 01:30PM - 04:20PMRm 201, E4ZHANG, Hongce206140